digraph T {
	t1->t2 [LABEL="a"]
	t2->t1 [LABEL="b"]
	[initial={t1}]
	[final={t1}]
}
	
